Goto

Collaborating Authors

 modular answer set


Modular Answer Set Solving

AAAI Conferences

Modularity is essential for modeling large-scale practical applications. We propose modular logic programs as a modular version of answer set programming and study the relationship of our formalism to an earlier concept of lp-modules.